- знак логического вывода
- assertion sign логика
Русско-английский научно-технический словарь Масловского. 2015.
знак логического вывода
Look at other dictionaries:
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ — СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Т. Фреге и… … Философская энциклопедия
СЕМАНТИЧЕСКИХ КАТЕГОРИЙ ТЕОРИЯ – — теория типологии значений выражений естественных и искусственных языков. Различают типы сущностей и типы символов, типы значений выражений языка. Учение о семантических категориях восходит к Г.Фреге и особенно к Э.Гуссерлю… … Философская энциклопедия
Секвенций исчисление — (позднелатинское sequentia последовательность, следствие) секвенциальные исчисления, исчисления способов заключений, модификации понятия логического исчисления (См. Исчисление), в которых основными объектами преобразования являются не… … Большая советская энциклопедия
ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ — ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ одна из основных форм представления логических систем, применяемая в логике наряду с аксиоматическими системами (гильбертовского типа) и системами натурального (естественного) вывода. Термин “секвенция” происходит от… … Философская энциклопедия
CLIPS — CLIPS, (от англ. C Language Integrated Production System) программная среда для разработки экспертных систем. Синтаксис и название предложены Чарльзом Форги (Charles Forgy) в OPS (Official Production System). Первые версии CLIPS… … Википедия
ХЕТВАБХАСА — ХЕТВАБХАСА (санскр. hetvдbhдsa видимость аргумента) в индийской логике мнимое основание, т. е. некий материальный факт, который по ошибке выдвигается в качестве основания логического вывода (хету). Строго говоря, хетвабхасы даже нельзя… … Философская энциклопедия
Пирс Чарлз Сандерс — (Pierce) (1839 1914), американский философ, логик, математик и естествоиспытатель. Родоначальник прагматизма. Выдвинул принцип, согласно которому содержание понятия целиком исчерпывается представлением о его возможных последствиях. Основатель… … Энциклопедический словарь
Философия в советской и постсоветской России — 1. Советский период. Развитие философской мысли в России после 1917 г. претерпело кардинальные изменения. Мн. представители религиозно философских течений, господствовавших в кон. XIX нач. XX в., были высланы или эмигрировали из страны.… … Русская Философия. Энциклопедия
ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… … Философская энциклопедия
СМРИТИ — СМРИТИ (санскр. sinrti вспоминаемое, припоминание, памятование, память) в индийской философии 1) припоминание как одна из форм познания, которая, в отличие от восприятия (пратьякиш), логического вывода (анумана) и т. п., не может служить… … Философская энциклопедия
НЕПРОТИВОРЕЧИВОСТЬ — свойство формальной системы, состоящее в том, что не каждая формула этой системы доказуема в ней. Формальные системы, обладающие этим свойством, наз. непротиворечивым и, или формально непротиворечивым и. В противном случае формальная система наз … Математическая энциклопедия
